Partial Scan Selection Based on Dynamic Reachability and Observability Information
نویسندگان
چکیده
A partial scan selection strategy is proposed in which flip-flops are selected via newly proposed dynamic reachability and observability measures such that the remaining hard-to-detect faults are easily detected. This is done by taking advantage of the information available when a target fault is aborted by the test generator. A partial scan selection tool, IDROPS, has been developed which selects the best and smallest set of flip-flops to scan that will result in a high fault coverage. Results indicate that high fault coverages in hard-to-test circuits can be achieved using fewer scan flip-flops than in previous methods.
منابع مشابه
0 90 6 . 02 15 v 2 [ m at h . O C ] 1 7 Ju l 2 00 9 Computational Analysis of Control Systems Using Dynamic Optimization ∗
Several concepts on the measure of observability, reachability, and robustness are defined and illustrated for both linear and nonlinear control systems. Defined by using computational dynamic optimization, these concepts are applicable to a wide spectrum of problems. Some questions addressed include the observability based on userinformation, the determination of strong observability vs. weak ...
متن کاملun 2 00 9 Computational Analysis of Control Systems Using Dynamic Optimization ∗
Several concepts on the measure of observability, reachability, and robustness are defined and illustrated for both linear and nonlinear control systems. Defined by using computational dynamic optimization, these concepts are applicable to a wide spectrum of problems. Some questions addressed include the observability based on userinformation, the determination of strong observability vs. weak ...
متن کاملLearning Plans for Safety and Reachability Goals with Partial Observability
Traditional planning assumes reachability goals and/or full observability. In this paper, we propose a novel solution for safety and reachability planning with partial observability. Given a planning domain, a safety property, and a reachability goal, we automatically learn a safe and permissive plan to guide the planning domain so that the safety property is not violated and which can force th...
متن کاملPlan Validation for Extended Goals under Partial Observability (preliminary report)
The increasing interest in planning in nondeterministic domains by model checking has seen the recent development of two complementary research lines. In the first, planning is carried out considering extended goals, expressed in the CTL temporal logic, but has been developed under the simplifying hypothesis of full observability. In the second, simple reachability goals have been tackled under...
متن کاملA Framework for Planning with Extended Goals under Partial Observability
Planning in nondeterministic domains with temporally extended goals under partial observability is one of the most challenging problems in planning. Subsets of this problem have been already addressed in the literature. For instance, planning for extended goals has been developed under the simplifying hypothesis of full observability. And the problem of a partial observability has been tackled ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998